Перевод: со всех языков на все языки

со всех языков на все языки

finite free resolution

См. также в других словарях:

  • Free abelian group — In abstract algebra, a free abelian group is an abelian group that has a basis in the sense that every element of the group can be written in one and only one way as a finite linear combination of elements of the basis, with integer coefficients …   Wikipedia

  • SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… …   Wikipedia

  • Hilbertscher Syzygiensatz — Der hilbertsche Syzygiensatz ist ein mathematischer Satz der Invariantentheorie, den David Hilbert 1890 in seiner Abhandlung „Ueber die Theorie der algebraischen Formen“ (Mathematische Annalen, Band 36, 1900, Seiten 473–534) veröffentlicht hat.… …   Deutsch Wikipedia

  • Projective module — In mathematics, particularly in abstract algebra and homological algebra, the concept of projective module over a ring R is a more flexible generalisation of the idea of a free module (that is, a module with basis vectors). Various equivalent… …   Wikipedia

  • Homological conjectures in commutative algebra — In mathematics, the homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties …   Wikipedia

  • Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… …   Wikipedia

  • Cohomological dimension — In abstract algebra, cohomological dimension is an invariant which measures the homological complexity of representations of a group. It has important applications in geometric group theory, topology, and algebraic number theory. Contents 1… …   Wikipedia

  • Nakayama lemma — In mathematics, more specifically modern algebra and commutative algebra, Nakayama s lemma also known as the Krull–Azumaya theorem[1] governs the interaction between the Jacobson radical of a ring (typically a commutative ring) and its finitely… …   Wikipedia

  • Clifford's theorem on special divisors — In mathematics, Clifford s theorem on special divisors is a result of W. K. Clifford on algebraic curves, showing the constraints on special linear systems on a curve C. If D is a divisor on C, then D is (abstractly) a formal sum of points P on C …   Wikipedia

  • Mechanosensitive channels — Finite Element Model of MscL transmembrane model. This figure is similar to the Tang et al. [28]. Mechanosensitive channels or mechanosensitive ion channels are membrane proteins capable of responding over a wide dynamic range to external… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»